#include "def.h"

int main()
{
  printf("%d\n", global_i);
  return 0;
}
